281. The Temporal Logic of Reactive and Concurrent Systems :
Author: by Zohar Manna, Amir Pnueli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
6
B996
1992
282. The official (ISC)² CISSP CBK reference /
Author: John Warsinkse ; with Mark Graff, Kevin Henry, Christopher Hoover, Ben Malisow, Sean Murphy, C. Paul Oakes, George Pajari, Jeff T. Parker, David Seidl, Mike Vasquez.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Administrative agencies-- Information resources management-- Security measures-- United States-- Examinations, Study guides.,Computer networks-- Security measures-- Examinations, Study guides.,Computers-- Access control-- Examinations, Study guides.,Telecommunications engineers-- Certification-- United States.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer networks-- Security measures-- Examinations.,Telecommunications engineers-- Certification.,United States., 7
Classification :
TK5105
.
59
283. Theory and Practice of Model Transformations :
Author: edited by Jordi Cabot, Eelco Visser.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2011
284. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
285. Theory and practice of natural computing :Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
Author: Dediu, Adrian-Horia
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer Communication Networks,، Software engineering
Classification :
QA
76
.
9
.
T68
2014
286. Towards a service-based Internet
Author: Witold Abramowicz ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction, Congresses,Internet, Congresses
Classification :
TK5105
.
875
.
I57
S47
2011
287. Transactions on Computational Science XXXV
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer Science; Image Processing and Computer Vision; Computer Systems Organization and Communication Networks; Data Mining and Knowledge Discovery; Software Engineering; Security
288. Ubiquitous and pervasive commerce :
Author: George Roussos (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic commerce.,Ubiquitous computing.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Comercio electrónico.,Computación omnipresente.,Electronic Commerce,Electronic commerce.,Electronic commerce.,Informatique.,Ubiquitous Computing,Ubiquitous computing.,Ubiquitous computing.
Classification :
HF5548
.
32
.
U35
2006eb
289. Ubiquitous communications and network computing :
Author: Navin Kumar, R. Venkatesha Prasad (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
Classification :
TK5105
.
5
290. Understanding Agent Systems
Author: by Mark d'Inverno, Michael Luck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
291. Verification, Model Checking, and Abstract Interpretation :
Author: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2013
292. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
293. Vernetzte und komplexe Informatik-Systeme :
Author: herausgegeben von Bernd E. Wolfinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
5
H473
1988
294. Web Information Systems Engineering – WISE 2014 Workshops
Author: \ [edited by] Boualem Benatallah...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer Communication Networks.,Software engineering.,شبکههای ارتباطی کامپیوتری ,مهندسی نرم افزار
Classification :
R
859
.
W4
2015
E-Book
,
295. Web Information Systems Engineering WISE 2014 Workshops : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
Author: edited by Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Artificial intelligence,، Computer Communication Networks,، Computer science,، Software engineering
Classification :
TK
5105
.
888
.
W37
2015
296. Web services foundations /
Author: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
Classification :
TK5105
.
88813
297. Wired/Wireless Internet Communication
Author: edited by Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Vassilis Tsaoussidis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Data protection,Information systems,Software engineering,Computer Communication Networks,Computer Science,Information Systems and Communication Service,Information Systems Applications (incl. Internet),Software Engineering,Systems and Data Security
298. day Polymorphic Worms in Communication Networks-Automatic Defense Against Zero
Author: / Mohammed, Mohssen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
